Anytime algorithms for ROBDD symmetry detection and approximation

Reduced Ordered Binary Decision Diagrams (ROBDDs) provide a dense and memory efficient representation of Boolean functions. When ROBDDs are applied in logic synthesis, the problem arises of detecting both classical and generalised symmetries. State-of-the-art in symmetry detection is represented by Mishchenko's algorithm. Mishchenko showed how to detect symmetries in ROBDDs without the need for checking equivalence of all co-factor pairs. This work resulted in a practical algorithm for detecting all classical symmetries in an ROBDD in O(|G|³) set operations where |G| is the number of nodes in the ROBDD. Mishchenko and his colleagues subsequently extended the algorithm to find generalised symmetries. The extended algorithm retains the same asymptotic complexity for each type of generalised symmetry. Both the classical and generalised symmetry detection algorithms are monolithic in the sense that they only return a meaningful answer when they are left to run to completion. In this thesis we present efficient anytime algorithms for detecting both classical and generalised symmetries, that output pairs of symmetric variables until a prescribed time bound is exceeded. These anytime algorithms are complete in that given sufficient time they are guaranteed to find all symmetric pairs. Theoretically these algorithms reside in O(n³+n|G|+|G|³) and O(n³+n²|G|+|G|³) respectively, where n is the number of variables, so that in practice the advantage of anytime generality is not gained at the expense of efficiency. In fact, the anytime approach requires only very modest data structure support and offers unique opportunities for optimisation so the resulting algorithms are very efficient. The thesis continues by considering another class of anytime algorithms for ROBDDs that is motivated by the dearth of work on approximating ROBDDs. The need for approximation arises because many ROBDD operations result in an ROBDD whose size is quadratic in the size of the inputs. Furthermore, if ROBDDs are used in abstract interpretation, the running time of the analysis is related not only to the complexity of the individual ROBDD operations but also the number of operations applied. The number of operations is, in turn, constrained by the number of times a Boolean function can be weakened before stability is achieved. This thesis proposes a widening that can be used to both constrain the size of an ROBDD and also ensure that the number of times that it is weakened is bounded by some given constant. The widening can be used to either systematically approximate an ROBDD from above (i.e. derive a weaker function) or below (i.e. infer a stronger function). The thesis also considers how randomised techniques may be deployed to improve the speed of computing an approximation by avoiding potentially expensive ROBDD manipulation.EThOS - Electronic Theses Online ServiceGBUnited Kingdo

Three dimensional corrugated organic photovoltaics for building integration; improving the efficiency, oblique angle and diffuse performance of solar cells

The lamination of OPV modules to corrugated roof cladding has been undertaken. The 3-dimensional form of the cladding provides three advantages for outdoor OPV deployment; firstly the ‘footprint’ of the solar cell is reduced, which leads to ∼10% improved power conversion (PCE) efficiency per unit area. Secondly, the oblique angle performance is enhanced, leading to increased output in the early morning and evening. Indoor characterisation showed a 9-fold enhancement in efficiency was obtainable, when compared to a flat module. Thirdly, an improvement in performance under diffuse lighting conditions was measured, when compared to a flat module. The average daily yield of the 3D module was 17–29% higher than a flat module, with higher relative enhancements observed on cloudier days. Geographically, the 3D module appears to be well-suited to countries with a high latitude, due to the enhanced diffuse light levels and the fact that tilting the module in both ‘latitude’ and ‘longitude’ directions away from normal, leads to the best achievable enhancement in solar cell performance. The approach set out in this paper could yield a product that has profound advantages over existing BIPV products and is potentially applicable to other flexible inorganic solar cell technologies

Electron Exchange Coupling for Single Donor Solid-State Qubits

Inter-valley interference between degenerate conduction band minima has been shown to lead to oscillations in the exchange energy between neighbouring phosphorus donor electron states in silicon \cite{Koiller02,Koiller02A}. These same effects lead to an extreme sensitivity of the exchange energy on the relative orientation of the donor atoms, an issue of crucial importance in the construction silicon-based spin quantum computers. In this article we calculate the donor electron exchange coupling as a function of donor position incorporating the full Bloch structure of the Kohn-Luttinger electron wavefunctions. It is found that due to the rapidly oscillating nature of the terms they produce, the periodic part of the Bloch functions can be safely ignored in the Heitler-London integrals as was done by Koiller et. al. [Phys. Rev. Lett. 88,027903(2002),Phys. Rev. B. 66,115201(2002)], significantly reducing the complexity of calculations. We address issues of fabrication and calculate the expected exchange coupling between neighbouring donors that have been implanted into the silicon substrate using an 15keV ion beam in the so-called 'top down' fabrication scheme for a Kane solid-state quantum computer. In addition we calculate the exchange coupling as a function of the voltage bias on control gates used to manipulate the electron wavefunctions and implement quantum logic operations in the Kane proposal, and find that these gate biases can be used to both increase and decrease the magnitude of the exchange coupling between neighbouring donor electrons. The zero-bias results reconfirm those previously obtained by Koiller.Comment: 10 Pages, 8 Figures. To appear in Physical Review

Seed production areas for the global restoration challenge

Wild-collected seed can no longer meet global demand in restoration. Dedicated Seed Production Areas (SPA) for restoration are needed and these require application of ecological, economic, and population-genetic science. SPA design and construction must embrace the ecological sustainability principles of restoration

Variability of atmospheric dimethylsulphide over the southern Indian Ocean due to changes in ultraviolet radiation

Dimethylsulphide (DMS) is a climatically important component of global biogeochemical cycles, through its role in the sulphur cycle. Changes in ultraviolet radiation (UV) exhibit both positive and negative forcings on the dynamics of production and turnover of DMS and its precursor dimethylsulphoniopropionate (DMSP). In this study we investigate the net forcing of UV on atmospheric DMS. The work is based on a 10-year record of observed DMS at Amsterdam Island in the southern Indian Ocean, and satellite-based retrievals of surface UV and photosynthetically active radiation (PAR). The results show an inverse relationship between UV radiation and atmospheric DMS associated with extreme changes (defined as the greatest 5%) in daily UV, independent of changes in wind speed, sea surface temperature, and PAR

LFI 30 and 44 GHz receivers Back-End Modules

The 30 and 44 GHz Back End Modules (BEM) for the Planck Low Frequency Instrument are broadband receivers (20% relative bandwidth) working at room temperature. The signals coming from the Front End Module are amplified, band pass filtered and finally converted to DC by a detector diode. Each receiver has two identical branches following the differential scheme of the Planck radiometers. The BEM design is based on MMIC Low Noise Amplifiers using GaAs P-HEMT devices, microstrip filters and Schottky diode detectors. Their manufacturing development has included elegant breadboard prototypes and finally qualification and flight model units. Electrical, mechanical and environmental tests were carried out for the characterization and verification of the manufactured BEMs. A description of the 30 and 44 GHz Back End Modules of Planck-LFI radiometers is given, with details of the tests done to determine their electrical and environmental performances. The electrical performances of the 30 and 44 GHz Back End Modules: frequency response, effective bandwidth, equivalent noise temperature, 1/f noise and linearity are presented

Industrial work placement in higher education: a study of civil engineering student engagement

For civil engineering undergraduates, the opportunity to spend a period of time in formal industrial work placement provides an invaluable learning experience. This paper reviews student engagement with short-term industrial placement and provides analysis of questionnaires (n=174) returned by undergraduates studying civil engineering at four Higher Education Institutes (HEI’s) in the West of Scotland. The data captures industrial placement statistics, employability skill-sets and presents brief testimonies from students. Whilst the journey to becoming a professional civil engineer is undoubtedly enhanced by short-term placement clear opportunities exist for HEI’s to affect and change existing pedagogical discourse. Commentary is likely to resonate beyond civil engineering and serve as a timely reminder of the need to re-invigorate academia / industry curriculum partnerships